continue typechecker for simple-v1