Attempting to codify types

This patch tries to remove a bynch of `any` types and make it all a bit more type safe (as much as typescript lets us). There are no functional changes and it should be backwards compatible.

Author: threepointone