Initial commit of the sym package and type identity.