Implement variable substituion for field and unary expressions.
Remove problematic characters from isabelle PO names.
distinguish between var and oldvar in a substition.