Update tools.reader
Correctly handle :quote expression
Attach types to method parameters
Refactor some things out of check.clj
Refactor utilities out of utils.clj
check-tc unit test passes