The LESS compiler for Diem Extended