Remove ZenTest
Add specs for list primitives

Temporarily remove inlining of hd and tl so that the argument is type checked