Proposal for Type Imports & Exports - View it on GitHub