Add support for coercion of typed variable bindings

[GuntherRademacher]

These changes add coercion for variable bindings with an explicit type. The functionality was alread present in the Var class, it just needed to be activated in case there is a type definition. The param flag of Var was unused, so it has been removed.