feat(flycheck-lean.el): add warning and typeinfo