HOPKINS: Remove some nasty casts from menuManager and ObjectManager