Add better expression support

... covers expressions inside argument defaults, also introduces some explicit knowledge of grouping literals