Cleaner construction of default contexts