Add psi_expr header & source

An expression is defined as a combination of more, simpler expressions.
For example, (+ 2 3) breaks down into three primitive expressions:
+, 2, and 3.