Timeout implementation for Windows based on threads.
Fix canonical structure resolution in unification (bug found in Ssreflect).