fix typelogic.md