Great speed-up in type generation