[Component] Function implementations [Default predefined value] Functions in fn namespace, and constructors for built-in atomic types augmentable [Scope] global [Consistency rules] Must be consistent with function signatures
augmentable by module import and by function declaration in prolog