Add post constraint for checking closure parameter signatures

A lot of this was lifted out of make_where_block