Firedrake Forms COFFEE: add different vectorisation options