Integrate MyPy into the compiler

[chrisrink10]

In #354 and #361 we discuss various type hinting related changes. The ultimate goal would likely involve running MyPy or some other sort of more sophisticated type-checking tool over the generated code to make sure that it actually makes sense. Perhaps Basilisp could eventually have its own rudimentary type checking, though that seems onerous and pretty prone to error.