implement amb-range in embedded interpreter. rename amb to amb-orig.