source tetra: push ImportSources through to core language