Includes all the built-in evaluation contexts of Proto.