Introspects the inferred data types of several variables and prints their names.