Fixes and improvments to parsing.
Renamed examples.
Reduction and Documentation