Text this: Type-Safe Compilation of Dynamic Inheritance via Merging.