Add libraries and more foundation
Add more foundation
Add more Simplifier