[Component] Function implementations [Default predefined value] Functions in fn namespace, and constructors for built-in atomic types augmentable augmentable by module import and by function declaration in prolog [Consistency rules] Must be consistent with function signatures [Scope] 
global
d y n a m i c
g l o b a l