2.9 Monomorph

A monomorph is a type which may, through unification, morph into a different type later. We shall see details about this type when talking about type inference.