Implement define expression (in progress)