[n,_] not in body of type statements

Type statements may not refer to other [n,_] types.  Users should only refer to data for the immediate predicate (where terminal predicates only take values not [n,_]).