moved general coerce function into Compiler.agda, later when we split BytecodeF, it should be in the general part