Check the return type of type constructors also in interfaces
Allow coersions in let bindings