split types into their own files
rename typeSpec to Type
rename typeChecker to Package & rename methods for clarity
minor hack for plurals of plurals
genspec should use intended plural
handle unknown packages without panic