Add an example showing how abstract vars get expanded into getters and setters.
Add an example of abstract vals in a trait.
Convert RationalTrait into one that uses its vals.