add `traversing` flag for type search to avoid recursive problems
turn off extraneous logging
fix compilation error in type-check
compiler update
fix another implicit global JSON compilation error