Fix type
Add BOT, TOP explicitly to language