Improved syntax sugar for mode, worlds, and total declarations