core.typed: Add IRC Bot example