Fixed unify bug in proj, changed parsing of proj