[impl] add Expression concept