Refactor Auto a bit to make way for some code del.
Refactor to reuse boilerplaty reify stuff.

This is refactor to make everything a bit cleaner and more readable for
the Auto algebra generator macros.
Don't require mod for fields in Auto.

This removes the requirement for mod when auto generating a field.
Add Auto-algebra example using Apfloat.