Is Type Checking Practical for System Configuration?