Function smartContractAbstractionSemantic

Override the default michelson encoder semantic to provide richer abstraction over storage properties