switch-statement multi-case-single-operation multi-case
body-tag html-tag head-tag omitting-tags
namespace
infix notation arity-1
functions
syntax parentheses
return type return statement
unit return type
termination evaluation reduction rules Boolean expressions expressions