added type inference to VarDefExprs
added TypelessVarDefExpr

Allows short definition of variables, e.g. x := 5.