GDTR: much faster type signature computation