Specs for generic expressions.