Typecheck fail with (bind)

[CryptoPascal31]

Issue description

Typecheck fails with some trivial examples when using (bind)

Steps to reproduce

(module A G
   (defcap G() true)
   (defun get-data:integer () 
       (bind {'a:3} {'a:=val} 
          val))
)

pact> (typecheck 'A)
"Typecheck A: Unable to resolve all types"
<interactive>:3:34:OutputFailure: Unable to resolve type (TySchema {_tySchema = TyObject, _tySchemaType = TyVar {_tyVar = SchemaVar {_tvName = "bind3_row"}}, _tySchemaPartial = FullSchema})
<interactive>:3:41:OutputFailure: Unable to resolve type (TySchema {_tySchema = TyBinding, _tySchemaType = TyVar {_tyVar = SchemaVar {_tvName = "bind3_row"}}, _tySchemaPartial = FullSchema})

One other real-life example (extract data from the transaction)

(module A G
   (defcap G() true)
   (defun get-data:string () 
       (bind (read-msg) {'a:=val} 
          val))
)

Does not work either

Expected Behavior

I expect typecheck to work in those cases, which are 100% correct Pact examples.

[emilypi]

Thanks @CryptoPascal31 - we're looking into it.

[aserranoni]

I have a similar problem with the where and at functions. You can look at this gist for an example.