[Basics::] Basics.

Some fundamental definitions.

@

@d PROGRAM_NAME "inpolicy"

@ We need to itemise the structures we'll want to allocate:

@e known_problem_CLASS

@ And then expand:

=
DECLARE_CLASS(known_problem)