what’s the difference between procedure? and closure??

a closure is an internal representation. See https://docs.racket-lang.org/raco/decompile.html?q=closure%3F#%28def._%28%28lib._compiler%2Fzo-structs..rkt%29._closure%29%29

Unless you are working with the Racket compiler, you won’t need to use it