also get the names of the (record) types from the argument