Added UnixTimestamp, WeakReference<T>,  String.Extensions.IndexOfOccurrence. Changed to Requires to better work with code contracts.