fixed up some tyconstructor stuff