implement help; move 'no types' message up to gen out of typewriter