Predicate type signatures now in spreadsheet

And more consistency checking.