Laure initial commit (wip)
first crude attempt at function purity analysis