Update: More arithmetic, string stripping etc and beginnings of variable support (for substitution into the algrbra)