Cons bind

-- use cconsE instead of consE in consBind, 
-- fix 2 small bugs