Adds automatic lifting of operations to monadic domain and updates tests.