changes typevar in plus operator and removed test rule
updated todos
added class bindings in result sets an class literals