Added really, really basic subtyping of polymorphs