Putting the module opening in mk_lambda
Adding -open to ttoolchain
Changing warning into a failwith