Improved support for constant functions
Progress in presentation