[firedrake] Mixed system