let
lambda
declare
types
xxp → predict if var is xx type
type-of → symbol of type
syntax
routines
control flow
predefined macros