Fix module name
Add gitignore file
Add module for "Big-Step Semantics" section