Added span, cspan, fixed List and Atom issues in -spec