Linking types to other Types not working

Yes, it will be.

This was the old behavior, after some internal discussions, we realize that these parameters are not being checked and have no technical reasons to be there. They would only be aesthetic and confuses the people about the real purpose of the Type System.