Removed unfinished TypeMismatchError checking