Implement 'sink' static properties

[kyouko-taiga]

We should use sink static properties to represent constant properties of types, like the number of bits available in a particular BinaryInteger.

public extension Int64 {
  public static property bit_width: Int { sink { 64 } }
}