Add desugaring for FFI type signatures in Binds

refs #257 #376
* add type signatures to FFI expressions in let/where bindings during
  desugar step
* Fix DesugarFFI test (and uncomment FFI calls in let/where binds)