

Contractors.preimage in preimages.jl
Decide what is the best behavior


BasisDefinition opnormbound, normbound
Failing due to a delicate issue, while L1 is a subtype of NormKind,  Type{L1} is not a subtype of Type{NormKind}