WIP; Typing relation