Eliminate the WriteTypeSymbolic function. Now that types know