Add StructExpr and fill in most of rest of typechecker