typecheck canonicals and eliminators
repl modules