some functions to make handling variables easier
removed mllib file
introduce a Top-down implementation with negation. Work in progress.