feat(frontends/lean/elaborator): use whnf in class-instance resolution, closes #160