fixed serialization of bounds in cases when a type is given instead of atom (use sig_namer instead of to_s)
set type of the callexpr
instance methods for retrieving model constants
some method aliases
use instrumented version even of procedures when in symbolic mode
fixed chameleons after updating model to add extra methods
nothing
test for prisoners hats