data structures for terms and types defined, inferer for variables, sketch for application
added vim swp files to gitignore