Fixed lambda-case floating to take into account fix-point as functions in addition to lambdas. Also renamed some floating steps.
Fixed lambda-case floating to take into account fix-point as functions in addition to lambdas. Also renamed some floating steps.