reduction rules termination evaluation Boolean expressions expressions
return type return statement
infix notation arity-1
syntax parentheses
namespace
Option
sealed class
termination evaluation by-value if-else by-name conditional expressions
return type return statement NonLocalReturnException syntax
higher-order functions