proc.types

The procgen type system: core type tags + socket assignability for graph validation.

Part of @builtin::systems.procgen.proc.