Write outline of project

[Vtec234]

Write a document outlining the project's motivation, its end-to-end pipeline (user-level syntax -> typechecking -> internal syntax -> interpretation -> semantics), and the completion status of each component. Do not explain the maths here too much: that's in the blueprint.