reexport necessary modules in Core.ClosureConvert
change function definition (indication of the closure)
reorder type constructors in Backend.Lang