CFD models for Firedrake