beginning work on dep types
slight change to Atom-Neg