Started a sketch of a logical relation for CakeML