Code-golfing a typed System-Fω circular self-interpreter - View it on GitHub