Backward- (and forward-)compatible Quote and Code types
