experimental backend for dolfin (from the FEniCS project)