Vitalsource Technologies, Inc. Developments And Trends In Infinite-dimensional Lie Theory