Trouble comparing proc types

[schneiderfelipe]

Now, if I define the very same procedure in a typed context, the test holds 
`true`!
    
    
    import sugar
    
    func f: int -> bool =
      (x: int) => true
    
    echo f() is (int -> bool)  # => true, WAAT?
    
    
    Run

[See it in the playground](https://play.nim-lang.org/#ix=3rcE).