Add support for translating Axiom's boolean type to amp's Boolean type
Use new version infrastructure