Initial commit of or
- Need to implement the laws for identity in the tests!