Optimized incremental reasoning wrt. datatype expressions