Title: Incremental on-line type inference