continued progress on thesis
changed kwargs to be more flexible
Added Helpers.jl, a file of helper functions created in TypeCheck.ipynb
extended code_typed to take just a function and return an Expr for each method