Bmacovei/dev ml named variables

Created by: bogdanmacovei

work in progress - soundness merged remote-tracking branch 'origin/named-variables' into bmacovei/dev-ml-named-variables