Finally figured out how to test monadic stuff. Initial implementation of evaluate. This needs more work :fire: