correcting some typesystem errors
IStructuredInitExpression type depende on it's parent type (explicit dependency was added)
correcting typesystem rules for Closures