Added nil types for predicates, conjunctions, and atoms -- to represent nil returns