clean up ExecutableModel interface, more more useless junk out of main interface into the CompiledExecutableModel implementation, basic handling of logical in LLVM AST