Example module translations

Example translations of the v4.16.0-rc1 standard library module (Std) and Mathlib real numbers module (Mathlib.Data.Real.Basic) to Lean-.