feat(backend/lean): Raw Lean literals can be parsed into scalars automatically

[RaitoBezarius]

We can use coercion to go to integers, build a scalar out of an int via unification and let the user clear up bounds or let Lean decide them.

Untested yet.

Signed-off-by: Ryan Lahfa [email protected]