Title: Point Type System