The default type system, which does not provide any types at all.