I have a pending change that does just enough of that to be useful (so we can distinguish between 'that's not a spec' and 'that's not a goal' for the purpose of error messages)