Add docs on hm's representation of values
Add some more code to dependency resolver