More complicated TYPEP tests are marginally transparent to type propagation