Typing Programs

We are always on the lookout for good typing programs.  Here are a few to try out