Float set missing

[pkoerner]

Currently, the set of floats (FLOAT in B) is not part of lisb (neither the DSL, IR nor AST-retranslation). It should be added.