Work in progress on integrating new cache::Proxy design. Fixed some syntax errors in the math module.