The monotonic framework for soft typing runs, but the analysis is in no way complete nor correct