+synchronous<T> fix for non-reference types;

synchronous<T> now properly accomodates both reference and
non-reference types without any code duplication.
mutex removed from implementation of thread, looks like it’s not really
required there.