ExampleDB: Add Prelude.floor with type of unsafeCoerce
Sugar record type params even if they are only inferred to be record types

NOTE: This means you cannot edit the param type anymore, its stored becomes inaccessible