Copy type signatures into unqualified
Added all missing type sigs