exo first step.
get rid of osx warnings
Added eclipse to ignore
debugging exo
support backtracking with uninst args
fix unnecessary dereferencing.
Merge branch 'udi_new' into yap