Fixing implicit guards in patter matching conditions and also modifying its syntax.