functions recursion
syntax parentheses
val termination def by-value by-name definitions
return type return statement
unit return type
namespace
import
Option filter
return type best practices type inference
evaluation expressions reduction rules termination Boolean expressions