Add some type aliases. Get the type back down of the output type from a Summer