Cleanups and fixes for SUBTYPEP
These changes ensure total order between types and remove fake aliasing (duplicated tags for the same type). Moreover some small issues are resolved and code is cleaned up.
Edited by Daniel Kochmański
These changes ensure total order between types and remove fake aliasing (duplicated tags for the same type). Moreover some small issues are resolved and code is cleaned up.