micromega: removal of spurious Export; addition of Lia.v encapsulating lia and nia.