Permit function calls in void context as exprs

Grammar change permits void expressions as statements.
Function calls now considered expressions.
Only void function calls are permitted in void statement context.
Typechecker requires all return values be captured.