Title: Computational theory and implementations of an abstract expression system