added isdefinedvisitor to support inferred-type declarations
fixed bug with binary operations
fixed bug with char types and added SSAOp::ASSIGNCHAR