TypeScript: Define a sub-type explicitly

Question

Given type A, I want to define a sub-type B (B is assignable to A, without extra properties) and enforce that assign-ability.

Example

Given this type:

<