Add concrete types for incremental Montecarlo

[adinapoli-mndc]

This is the output of a small live coding session me and @MeBrei had this morning. It sketches the concrete types we think we would need for the incremental Montecarlo algorithm.