Implement boolean type
Add Rule struct