The following program compiles without error:
var x = 1
inc x, 'a' # Same for x = succ(x, 'a')
echo x
This is strange as I expected the second argument of "inc" to be some integer. But the signature of the procedure allows any ordinal. In the tutorial, the second argument is supposed to be an integer, at least for "inc" and "dec" (nothing is said for "succ" and "pred").
Is this the expected behavior or should the second argument be SomeInteger?