NOTE: breaks the build; major overhaul of low-level type representation for greater simplicity and efficiency