Typechecking closures is hard, and I’m a little confused by it. Is it an object w/ the closed values in … More