start reduction relation (but typechecker is not yet finished)