Destructure and factor parsing, add some semantic analysis experiments.
Add new files.