implemented alloy-like syntax for sig 'extends'