various lem-related updates

mainly: switch from let inline {hol} to declare hol target_rep
also, use functions from the (new) lem library when appropriate