unit void return type
interfaces best practices traits trait override inheritance
match expression pattern matching tableswitch switch lookupswitch
infix notation arity-1
namespace
Boolean expressions expressions evaluation termination reduction rules
functions
sealed class
syntax parentheses
return type return statement best practices