made linkvals into expressions, started adding typechecking (can get the types of expressions, assignments check types)