Fixed test case of in-terms/proc
Added verbose~ which converts from s-expressions into infix