Attempt at an LLVM based function language that maaaay get linear dependent types.
At the moment it's a simply typed lambda calculus with the type system temporarily removed pending code generation working and said linear dependent types.
Based entirely on tutorials by Steven Diehl.