       baseTy = field.type
     @computedType = baseTy
 
-# Functions are be typed if their parameters are typed and all return
+# Functions may be typed if their parameters are typed and all return
 # expression types are compatible.
 Code::computeType = (r, o) ->
   return @computedType if @typeCached

    else
      rty = unify types, rexpr.unwrapAll().computedType, rty
  @computedType = new ArrowType @paramTypes, rty

# Allocations, pointer arithmetic, and foldably constant arithmetic
# expressions may be typed.

  else if @isSimpleNumber()
    intTy

# Assignments do asymmetric type unification.
Assign::computeType = (r, o) ->
  return @computedType if @typeCached
  @typeCached = true
