Companies using type-systems