Finish type checking koans.