Allow top-level ports and generics with default values