pratt.py: imported from deadscript with minor adjustments in class Sym