lambda-cap Reduction from simple semi-Thue system rewriting to inhabitation in the Coppo-Dezani type assignment system.