Clean up dialyzer specs for context/values

opaque types should be unique. binary() is a bad idea as an opaque type.