Add a lot of stubbed predicates.

Also, error on duplicate expose calls.