Write the type unification system
Fix wrong class name