(arm-16) Moving to very verbose types with an ACL::File_ACL defined type