syntax: add PType::is_typed