Now refactored to use an actual AST for Idris code.  Also, more files.