adding existential quantifier
some eff tests
added sample sigma approximations, used workaround for types of handles