clarify and simplify ensure_compiled
latest makefiles
updated docs
updated todo
updated todo
updated todo
updated todo
updated todo