[firedrake] Matrix multiplication in bilinear form