edited gradual typing and type constructors slides

edited gradual typing and type constructors slides #51