In a sequential scope, an instance of relaxed type may have its relaxed actuals bound at any time (but once only). This means that at the time of unbound instantiation (during unroll), the relaxed parameters will not be available for use with unrolling. However, at the point of instantiation, the public ports of the instance (which should never depend on relaxed parameters) should be made available for connections. Q: how do we unroll ports in this situation? Q: do we need to worry about internal aliases differing between difference different complete types? Perhaps not because internal aliases should be replayed at create-time before finalizing footprints.