Check for duplicate vars on LHS.  (There is currently a difference between
theory and impl in that RHS may have dupl vars! They are needed for
letrec.)