Text this: Synthesising incremental parsing and incremental type inferencing /