We can now get the spec for each type. Next stop: generating code