Usage/cardinality domain refactored
post-refactoring bugs fixed in the demand/cardinality analyser
mkFloat in CorePrep is changed in a way that not it takes a demand and pins it on a created FloatLet-binder