typsystem.trace doesn't depend anymore on blutil