moving axiom-types to the top of file to evaluate load time