Add support for Algebra::Restriction