add concrete types