Switched monotypes to use the subtype lattice
Simplification isn't needed with the type lattice