Bring in aleph and lamina in namespace form.