IR check exports

Because it's conceptually a very different error, and by similarity with `checkMethodDef`. Having a `ParamDef` of type `NoType` is a Big No-No. Independently, its type must match the expected signature given the name of the method def. For an exported method def, the expected signature is all-AnyType.