Update standard prelude for Points.

Defined Point type