Untyped part. Chapter 1. Term definition via Inductive, via generation of Ensemble and via specification of properties.