implement atom
admit atom argument for defn