fix(frontends/lean/inductive_cmd): bug in expression position propagation, fixes #289

Fix incorrect line/column number information in error messages produced
during inductive datatype elaboration.
fix(frontends/lean/inductive_cmd): bug in expression position propagation, fixes #289