Use typedefs consistently in sem.c
Start checking for binding indication
Missing some calls to scope_run_deferred_checks
Need to call scope_run_deferred_checks even after errors
Make run_vests.rb output a bit less verbose