AquaFlux: The Financial Engineering Language for RWAs