Cleaner handling of explicit U to T conversions
various documentation fixes