Typechecking WIP: 30/74