Working on fixing autos

Added optional explicits literal repr of Conclusions, Natives.
Macros