Put a type-predicate stub in the proper file