Have you picked a syntax yet for representing caveated assertions in the playground? Context name and value in json format would get my vote