added getter methods in Tarval wrapper for mode and mode_Bu
optimizePhi should now optmize booleans aswell (needs testing though)
added isNumericOrBool to both Node and tarval
use isNumericOrBool as constraint on phi and cmp
correctly update tarvals of Proj and Conv node during analysis
fixed compile errors
generated documentation