Add How to use section

explain when the typechecker is triggered