Add documentation on function arguments, lambda
Add documentation on the let form
Remove ast macros, change exceptions, add some errors for the annotation process