Improved lambda parsing, added prec. info to ST