Mathlib bouncer cleanup and added pure function keyword.
Mathlib bouncer cleanup and added pure function keyword.

SixTrack/SixTrack,SixTrack/SixTrack,SixTrack/SixTrack,SixTrack/SixTrack,SixTrack/SixTrack,SixTrack/SixTrack