Add programs that should/should not type check.

There are several different directories right now:

 good       - programs that should type check at the moment
 should     - programs that should eventually type check
 bad        - programs that should give an error at the moment
 should-not - programs that should eventually give an error