Replace DVal with the nicer DynVal interface

This eliminates the need to write both a, [a] and Set a instances via
a Type Family.
Add Word instances + documentation