- support ubased unsized bound to ports using injected constants - explicit context-aware literal sizing for complex expressions - fix infinite loop case in NestPI conversion - elaborate size-casts of converted literals