Restructured `Properties.Map` and added missing tests
Uncomment `mapMonotonic`
Introduced `Props`