WyC: yet more tweaks to test cases to bring up to new append syntax.