Fix error in dsTyLams plus other things like add OccursCheck