Version 1.1 is more careful about typing rules.
Merged.