Modal fine tuning & example for Javascript.hs