remove succ, pred functions
add implies operator
move dependency-section into its own tex file
sections for ListInterp and TabularInterp
Merge pull request #9 from BayesianLogic/interps

Interps