(TESTS BROKEN) make append* compiler methods return a Value* as appropriate