A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs