+ Fix issues with variance, hack `On` tweaks to receive exact view type, add FullDsl and Context traits