Add functional call expn semantics
Add parameters semantics and correctly managing routine decl parameter
scope. Added conditional statements semantics