Implement STable serialization.
Set type check cache properly for KnowHOWs.
Implement serialization of KnowHOWREPR.