Small change in the description comment
Minor fixes here and there
Progress on prototype
Progress on prototype
First transition nailed correctly