Revert "Remove proper as a dependency"

This reverts commit 1e64e5dd7b767948ea07377b837724d5a9585dd7.