adapt type_vars to work with single-element TVars
disable Java and C# targets
change TVars to not hold a list
rename TVars to TVar
detect { ...; new } when inlining constructors (closes #2322)
always run blockify_ast so we can be sure that all variables find a place when inlining constructors
re-enable java and cs targets