Add debugging function
Give names to asserted builtins for more grokable stack traces