Simplify built-in type system

Summary: This is necessary for compliance with current mypy, which distinguishes between type aliases (valid as annotations) and type variables (invalid as annotations).

Test Plan: Unit

Reviewers: schrockn, sandyryza, dgibson, alangenfeld, prha

Differential Revision: https://dagster.phacility.com/D8044