System.Plugins.LoadTypes
data Key
type Symbol
type Type
type Errors
data Module
data ObjType