Add more documentation for core and proposals