expand_less https://github.com/metacurrency/ceptr-org/blob/master/_projects/pcubed.md#semantic-alternation