InputTypeChecker added
committing Merge