Conclusions

Profiles-0.94 is designed to be a REFEREE module
REFEREE itself consists of a few data structures and system calls
Extensibility and self-modifiability are big wins: they allow Profiles-0.94 to be very simple yet also very expressive