Change Int() notation to (Int) notation

With the addition of coercive types, the gist notation is too confusing,
so for now just move the first paren into the front fo the type name.