Added more properties. Refined intensional equality.