Update monomorphise with the new representation

Still untested