finished typechecker, began implimentation of tactics, some re-orginization