- moved set+set2tgtmap and set+nat2efxmap here.
- moved set+nat2efxmap to tgtmap2efxmap.elf.
- added subtyping for null.
- fixed reftyping/null.