STAGE 2. almost done

No syntax check. Mostly done without the equality thingy and the hazard
detection unit