+Prevents inlining of recursive methods (for now).
+Multi-line inlining works for the general case.
+Name conflicts with vardecs are solved.

-inlining into object bodies still not fully functional.
  (must still remember to account for binding of self)