All expressions now have type and TypedIdentity simply sets this.