Changed Boolean from Class to Module
Merge branch 'dash-with-axiom-types' into extended