Minimize manual type annotations

[joshsh]

Hydra's kernel sources are currently littered with type annotations, due to previous limitations of Hydra type inference. We can't remove all of the annotations (after #103 is landed) because there are still cases (polymorphic recursion) where annotations are needed. However, most of them can be removed. Do this after #103 has been merged into main.