update the semantics of language, and add semantics of behavioral types
recompile