Added another sample file typecheck1.pas