some fixes regarding scope of type constructors