Progress in booleans

Added boolean factor, expression, terms, WIP