Removes ambiguity with literals and postfix expr
Readds wildcard types
Adds special syntax for one-argument result expressions
Adds test and description for template body problem