A type-safe web framework for Swift