New filtering/disambiguation syntax.
Improved a bunch of type conversion rules.