Simple ADT macro works
basic macro serialization works