Some draft fragments for library loading.

Working towards module verification as the next step.