sounio-typeck-effects

Work on Sounio type checking and effect system (bidirectional inference, effect inference/enforcement, and type rules); use when editing compiler/src/typeck/, compiler/src/types/, compiler/src/check/, or compiler/src/effects/.