faster type system and benchmarks