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
inline TArrayDecl and TObjectDecl if possible
catch Not_found in array/structure inliner to deal with out-of-bounds and untyped field access
cancel constructor inlining if an invalid field is assigned to (closes #2425)
re-enable java and cs targets
Merge branch 'tvars_change' into development
Merge branch 'inline_structure_and_array' into development