StringFilter = Filter ?, ?, 
                      (
                        X, Y : LineIn X 'Y'
                      ), ?, ?, ?, 
                      (
                        X, Y : LineOut X Y
                      )