../typecheck/tc_scope.mx