POMFR: Proportionality Analysis and Models of Judicial Review