Update type checking strategy

[soutaro]

1. Introduces group in target
2. Steep doesn't type check the project automatically on start-up
3. Opening a file that belongs to a group triggers type checking files in the group