Mock a runtime type system & other changes

[Azoy]

This removes the Type type from the type system and instead models it as a protocol for specific type systems to create for themselves while also mocking out a runtime type system to see how one could conform to a type system.