TypeError { type_message: UnboundVariable(V(Label("x"), 0)), context: TypecheckContext([]) }