After loading this framework by

(consult "~SEQUEL/FRAMEWORKS/NAIVE-PHYSICS/np.fr")

try

(type-)
(save-framework naive-physics "np.lisp")
(compile-file "np.lisp")
(load-compiled-framework "np.sbin")
(stats+)
(autoprove topos "~/SEQUEL/FRAMEWORKS/NAIVE-PHYSICS/problems")
