fix naming
default quantifier function init fix
add propose variables
fix bounded variable
fixes
add Context
add toString chaching
add expression compare