Add a few more Value-type classes. Also add some much-needed documentation about how our intermediate datastructures
work
Add updated specs for the new Value-types