Change type_abbrev to not alter printing behaviour If printing of abbreviations is desired, users must now use type_abbrev_pp. Closes #599
updated ARM model
holmade done OK