[firedrake] errornorm()