FP part of TypeLift implemented. Concrete actions still not implemented.
TreeBasedDatalogProgram cleaned. Last implementation using a simple PredicateTree and a Map for predicate def.
Rule tree following the predicate hierarchy is now the unique attribute of TreeBasedDatalogProgram.