fix indentation
implement unique existential quantification for feature expressions
Merge branch 'feature_featureexprlib_substitute'