New Comment Style

Slowly migrating to a new commenting style. Revamped double dispatch
technique for types descending from Value.