Built-In Declarations

For now, see this section of the specification.