add and remove files - a big merge.
deleted library-extra and tgtmap.cpp.
updated conversion.thm
updated typing.elf
updated conversion.elf