add bypass kw to verifytypes
add function type
add tests for typecheck, one of this fails because the parser doesn't check the type of numpy arrays