Introducing initial and stable type factory. Also, making a bunch of
serializers/deserializers.