Completed refactoring of interface-body.
Refactored to remove multiple productions of program-unit and began to add specification-part.