fix(typecheck): zero-arg thunk calls, tuple-destructuring let, RuntimeError catch (#128)

fix(typecheck): zero-arg thunk calls, tuple-destructuring let, RuntimeError catch (#128) #369