code cleanup

Added a signature for [Alt_abd.ProcedureInterpreter] to highlight
the few important bits.