Functional and contractual programming language, with strong, dynamic and reflective typing, derived from Scheme