Starting phase4: Type Checking
Adding lvalue and Type returns to parser
Adding checks for logical functions