Assignment and Variable Declaration work
added support for implicit eithers (should in future change to typeclass)
letstatement and updateexpr