It would be nice if we could define allowed values for struct type parameters.
struct port stream<#n> { assert(n % 8 == 0); data: &int<n>, keep: &<n/8> }
Related to #257