Dependent types in half of D (www.infognition.com)