typecheck-all instead of current file on saving buffer
do not show full typecheck results on save/load hooks