Param checking extravaganza (specify types, rexes, etc