Initial implementation of mixin guard `default` function (aka "mutually exclusive guards")
mixin guard `default`: `default` moved to functions.js + other minor improvements