The reach of this project is up to design the type system