[firedrake] Initial conditions in a mixed function space