Improved type-level expressions