Removed : operator. Just write Int 'x'.