Type checking and incremental values