I was under the impression that you can MITM HTTPS, it just requires the client to trust the proxy (by installing its CA). It's mostly used in corporate environments for monitoring & blocking, but it should work for caching proxies too.
Yes it seems they call it SSL bumping
Then think about doing the same for a school.