[firedrake] dimension with external mesh