Prefix term constructors with 't' to make them not exported

They are not part of the API

Fix badge and add example

Add package godoc comment and add badge in README

Fix crash in callgraph construction on call to nil function

Allow specification of analysis entry points

Make slices package internal