Implemented map and isos Bytecode <-> HFix BytecodeF