compiler/ir: refactor SSA/alloca management
compiler/ir: introduce Fraction type (incomplete)
examples/dds_test: use integer as boolean (now supported by compiler)