implemented loops, assign, sequence, let
added parameter explist to transDecs