New example in top, fixed bug in inequalities solving.
Bug corrections for subtype checking. Performance acceptable.