version 0.1.8.0

 * export BoolComponent, BoolForm
 * export disjunctionOf, conjunctionOf
 * fix a infinite loop bug in (-&&-)