(1)remove redundant prelude function (2)',[xs ..]' must match a list
add naive syntax check
modify CPS spec, add some goals