Bytecode now accepts expressions of type Value as well, similar to CCode