added bools as valid expressions
added keyword and integer SSAWriter support