Never: statically typed, embeddable functional programming language.
modules binary operators more data types binding constness
Never major functions: