Fleshing out the type systems for the 3 mechs
Working on introducing the first subtyping