ShiftAPI: Full-Stack Type Safety from Go

I've been craving full-stack type safety from Go for years. So I built it.