Lookup Monoid and new return type for persistence operations