Added support for overloaded operators

Also added further support for active patterns