Type driven configuration management with Propellor - Tech Talk