Added 'quantifier', 'select', and 'gen' modules