Yes this would be a nice extension of what is currently available in SageManifolds. Consider it is on the todo list ;-). Note that there is also some development work around Lie algebras http://trac.sagemath.org/ticket/14901, which could be used for this purpose.