Remove code abstractions that are no longer required after deletion of the Alloy bootstrap. This is a functional no-op.