functions
by-name by-value definitions def val termination
return type best practices type inference
import
sealed class match expression pattern matching
tableswitch lookupswitch pattern matching match expression switch
namespace
parameters functions
reduction rules evaluation Boolean expressions expressions termination
infix notation arity-1