Editing the type system