Mv Logic.logic_tricks and Numbers.R_compl to LM.
Add export files LM, LM_wDep, FEM, FEM_wDep.
Fix pbs in LM.

Rm useless nat_neq_0_equiv, nat_neq_lt (use Nat.neq_0_lt_0),
           INR_n0, INR_n0, INR_inv_eq, INR_inv_pred, INR_inv_decomp,
           nnode_LagPdk_pos.
Add nat_neq_0_lt_S.
Modify INR_invertible.

Rm pt_eval, lm_am_ms.
Add prod_Ring, prod_{plus,zero,opp,minus,scal}_eq.
Generalize pt_eval_{mm,mg,mr,lm,am} (to any input type),
           part1F_{lm,am} (to any ring).
Add AbsRing_AffineSpace + coercions.
Modify R_AffineSpace_mixin.

Add lm_am.