Compiler [Typechecker]: Fixed some bugs in remap_marker() et al. The allocation and lookup of remapped markers now seems to work as intended.