Better checking that aspects must be interfaces