Types and Run-time Checking

print "This must be a string according to the type constraint.\n":String;

print Int + Float - Int; // This is used for user-defined type checking algorithm.

print "This string is wrongly typed!" : Int