Update userliteral.hpp