first step to type unification, cleaning up Property issues