Title: Elements of constructive geometry, inductively presented