The draft `consteval` is already a function specifier and is not a variable specifier. I haven't looked at it in detail, but I think it does much of what you want, except overloading and allowing non-constexpr calls. Basically, it demands the evaluation of every call to the function must happen at compile time.