First evaluation implementation

TODO: Cycle dependencies