Added make_error. Renamed value_pre_has_value to derreference. Moved value from value_traits to monad_error_traits as the exception depends on the error.