add type annotations to v1. still have 8 type errors not resolved because of the rough corners of the type system.