Added basic instructions to README. Added ahoy-world.
fix htdp examples
adding simple emacs highlighting
adding basic runtime checking of annotations on base types
adding built-in runtime annotation checks on defs for Number,String,B…
updating arithmetic example to reflect method call syntax
fix some examples
parse in identifiers, update examples to reflect this
update for new -> syntax
seal-respecting object pretty-printing
fixes for cond, and struct desugaring
adding types to grammar, not parsing yet, including failing parse tests
adding numeric conversions, string and number equality, as per next h…
adding meta-bool with and, or, not, pretty printing bools. and adding…
… boolean.pt htdp file
can has repl?