Worked on fleshing out the Lau compilation steps