Adds a few parsing function, and the core beta reduction funcitons. Improves readme. Animation example.