AutoRewrite for Lambda language + bug fixes

- all of the files properly compile now.