Added evaluation, compilation and examples