Rename : and ++ to # and @ on way back to Isabelle land