Add more definitions
Add examples of frp systems