Done with [start].
Added sample programs.

Type Checking is not working. Problems with the channel variables.
Everything seems to be working. Give it a check!