disallow aliases as supertype arguments ugly fix for #596