This prelude file proposes standard library features that may belong in the language (compiler-internal) prelude sometime, after some further experience and discussion. Until then, they live here.
func nyi() : None
Not yet implemented
Mark incomplete code with the
Each have calls are well-typed in all typing contexts, which trap in all execution contexts.