Fixed some type errors (this diff should be good for brainstorming bugfinding tools)
Receiver-type inference and a bug fix
WIP printTypes