generated some basic types