minor
add syntax for Seq
add type rule for Seq
add semantics for Seq (not tested)