Model Theory, Lie algebras and Quantum Groups