Type checking partially done, parser working fine