Function check 

pub fn check(term: &Node, expected_type: &Node, env: &mut Env) -> CheckResult

Check term against expected_type under env.

Returns CheckResult { ok: true, diagnostics: [] } on success. On failure, ok is false and diagnostics carries one or more E020..E024 diagnostics describing the obstruction.