Import the factorial calculus MAS.
Update the gitignore.