typecheck: Added concretization environment
typing: some more work
inference: minor cleanup
typing: more