Add input operand (,) in language (no execution yet)
symbolicExec helper and type signatures
Basic symbolic execution working