fixed bug in [remove_conf]

also, some code cleanup
code cleanup

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