Attributed Grammar Done. Type Checking Left