some fixes for holDerivationLib.sml from trying to run an article

various minor errors. it still doesn't fully run though.