Type holes

[RobertBendun]

Ability to "stop" compilation process and print context of hole. In case of Stacky, it's expected types (if any) and required types.

For example with syntax for hole beeing !?:

add3 fun u64 u64 u64 -- u64 is
  + !?
end

Inspired by Haskell.