more comments on legalizetypes.cpp