Make all exported record types opaque. Node specification cleanup. List and binary node tests.