remove basicblocks from representation

instead use a stream of instructions/terminators.
This includes the for-loop.
repair phi-nodes after fused blocks
re-enable instruction quasiquoter
fix nested loops