sealed class match expression pattern matching
functions
namespace
infix notation arity-1
access modifiers qualifiers
def termination definitions by-value val by-name
return type return statement best practices
syntax parentheses
parameters functions
termination expressions Boolean expressions evaluation reduction rules
