Types can now be queried.