Got my type checking errors back. Damn monads.
Got sorted_tree(ins_tree n t) simplifying correctly.