Add basic operations section
Use better variable names in the intro
Use better variable names in the simplification section

Also, add some notes about naming conventions.