The Design Space of Type Checkers for XML Transformation Languages