Supporting Incremental Formalization in Collaborative Learning Environments