universal enveloping algebra

#todo/untagged #todo/add-references