Updated documentation
Removed strictness annotation from `Var`