Basic type system definition.