Changed representation of type-contexts, in prep for more complex structures.