Primary expressions partially implemented. Added a new annotation type: value. These annotations are used for inspecting parts of expressions.