migrate loading files to specialty
Migrate half of lib to lib/declarations

The point being, these are commands you can use in your scripts, they should be
treated separately.
Migrate 'helpers' from lib to lib/helpers

Part 2 from previous commit.  These are more generic functions that can be used
by assertions or declarations, and they do not maintain any external state.
Merge branch 'reorg-lib'