add precondition_type convenience function

[daira]

We have many instances of the pattern:

precondition(isinstance(avariable, atype), avariable)

It may be worth adding a precondition_type function so that this can be:

precondition_type(avariable, atype)