more work on simple-v1 typechecking