export: type syms
add: type
add: type definitions
add: type definitions.