Started on macro for pattern matching over abstraction values.