Towards records: GUI support for empty type products
Empty record no longer conflicts (matchExpression matches it)