Builtin Types
Anselm comes with a powerful set of built in types. In actuality, these are really type-valued functions. Like all built in objects, built in types and type functions live in the Anselm pseudo-module.
Anselm
