Added missing default.hpp category.
Move value from monad_error to possibly_valued. Make it a default operation using has_value and deref. fix #43.