WYIL: nice tweaks to the process of generating parameter types for verification conditions.