P2 has type (is type of) in version 7.1.1