Added some Mathlib bindings and added Resharper directories to .gitignore.