Support refinement types

Description

Typed Racket's refinement types are useful. We should implement something similar.

Environment

None

Assignee

Ambrose Bonnaire-Sergeant

Reporter

Ambrose Bonnaire-Sergeant

Labels

None

Approval

None

Patch

None

Components

Priority

Minor
Configure