Made typecheck1.pas more complex