Add type checking syntax. Propagate MISSING and NULL in type checking functions.