correctly render +s
improve error messages
render + in tuple types
support postfix + syntax for "at least one"