Fixed lambda-case floating to take into account fix-point as functions in addition to lambdas. Also renamed some floating steps.
Merge branch 'master' of github.com:wsonnex/elea