Rename secore to selib
Add syntax; example printing term