- Add interface to specify parameterized data types - SMT support for operators on parameterized data types: using UF? - Add simulator generation support for parameterized data types