separate translation of single-expression and sequences
take top-level expression out
simplify Core language type definition
remove old TypeCheck module