Added new compile-time metaprogramming utils

- Added divide<> and modulo<>.
- Added test cases.