TransLucid and Cartesian Programming