Add generalization, realization, fields, type resolve.