type system rules are updated to handle no-unit types