Lean: add monad declaration in files without register use

Lean: add monad declaration in files without register use #1910