Update spec to add a note about floating numbers
Refactor resolver/type checker into smaller functions