type cleanup
added support for constrained arrays bounded by anonymous range
updating expected
added support for derived types, block statements, assert and cut,
methods as compilation unit, expression functions, strings
allowed for empty return statement
check