added handle/raise typechecking & tests