12. Built-in names

These names may be used in every module. Other names may cover them.

Name	What it is	See
`Int` `Float` `String` `List` `BitArray` `UtfCodepoint` `Never`	Types	§4.2
`Bool` `Result`	Names	§4.2
`True` `False` `Nil` `Ok` `Error`	Labelled types and their constructors	§4.2
`Assert` `AssertionFailure` `Fail`	Labelled types and their constructors	§9.3, §9.6
`Boundary` `Continuation`	Built-in types made by `i/control`	§9.4
`Key` `Keyed`	Built-in types made by `i/key`	§9.8
`Request` `Ticket`	Built-in types operated on by `i/request`	§9.11
`panic`	`(String) -> Never`	§11.7
`assert`	`(Bool) <- (Assert) -> Nil`	§9.6

These are normal functions and types. The modules i/fail (§9.3), i/control (§9.4), i/resource (§9.5), i/assertion (§9.6), i/io (§9.7), i/key (§9.8), i/task (§9.9), i/random (§9.10), i/request (§9.11), i/core (§13), and i/syntax (§14) give the other names. The IO module list is extended with its service definitions.