This replaces the namespace lft_userN, which had the defect of requiring to place libraries' namespacec in it in advance. The weak branch has always used a similar approach.
The file type/base.v contains the definition of lft_userE which is used in the development. It is set to the emptyset, but can be extended in further developments.