Tesseract’s evaluation and type system.