Add positino of function passed null argument invalidly in error.

Permit typing _ arg with no type as being a Maybe type in checks.
Get rid of null on runOr.
Fix bugs for null base types on static platforms etc.