Revert "Proglangs"

This reverts commit d27210616e5beca05ab23f68dc7ab4cdc489cd2f.