stricter typing

[jeswr]

I think there is room to make the types a bit stricter. For instance the input operation to a filter cannot be top level query operations (Construct, Ask, Project etc.)