generating some type constraints