You searched for name based type system