Lepton constants are now placed in lepton. They can be
accessed with a function lepton::Constants() so as to
avoid initialization problems.

cc: @valsson