refactored numbers into a separate module within bkanren
added missing primitives