implemented actual return type evaluation for closures with most types (classes missing)