Added inference example, slightly clarified lexical spec