Starting to implement the expression type