Type Construction and Cycle Detection - Tech Sentiments