progress on conceptbody procedure translation -- push translates fine. Haven't explicitly looked at the others though it's looking hopeful.