added tests for exported type after record declaration