environments/
freevars/
OSrules/
rename/
syntax/
typecheck/
utils/