New stuff for extensible symmetric-frp
Moree stuff