incomplete, shitty typechecker that needs to be modified for my AST
:. has been changed back to AApply; minor formatting
Updated readme, eliminated out of date examples
Updated readme, eliminated out of date examples