Modules

type constraints and coercions for URIs