Fix: update all references to ProseLib