Add new monomorphise2 code (don't call it tho).