Types within A.R.E.