Add an algebra to lift pure values.
We don't really need an algebra for lifting pure values.