Changed structure of subtype_lattice

Now is represented as two parallel arrays -- one is the head (polytypes
to match), and the other represents the resulting subtypes of a
successful match. Also began work on a stub of type declaration loading.