Support for lifting in Matryoshka Fixpoint types

[leonardschneider]

Example in https://github.com/slamdata/matryoshka/blob/master/tests/shared/src/test/scala/matryoshka/exp/package.scala

But also applies to other fixpoint types Mu and Nu and Cofree. Free integration would be nice too.