Made the type definition work for :LOAD-TOPLEVEL and :EXECUTE as well.