Generate some type specs