defining an universe for types representing the interface (IO ports) of circuits
advancing with the "interface" type universe idea, but unification stuck on eval. Now trying to use datatype to model universe relation