Added types to variables.
Added types and made top-level vars final.
Tweaks. MDV syntax. Better placeholder implementation
Preliminary commit of list-binding recipe