Proposal to add top-level definitions (and replace package objects)

I propose an alternative solution to the issue of writing programs, aka entry points, in