Is there any support for bounded type variables? Or plans to add them?