added tuple and sum expression to type checker