Make the definitions for types the same as in Typed Racket docs.

scribblings/networks.scrbl

@@ -16,8 +16,8 @@
 @(define-syntax-rule (ex . args)
   (examples #:eval networks-evaluator . args))
 
-@(define-syntax-rule (defpolytype . args)
-  (defform #:kind "polymorphic type" . args))
+@(define-syntax-rule (deftypeform . args)
+  (defform #:kind "type" . args))
 
 @(define-syntax-rule (deftype . args)
   (defidform #:kind "type" . args))
@@ -33,21 +33,21 @@ This model can generalise Boolean networks, TBANs, multivalued networks, etc.
 
 @section[#:tag "networks-basics"]{Basic types}
 
-@defpolytype[(State a)]{
+@deftypeform[(State a)]{
 
 An immutable mapping (a hash table) assigning elements of type @racket[a] to
 the variables.  A synonym of @racket[VariableMapping].
 
 }
 
-@defpolytype[(UpdateFunction a)]{
+@deftypeform[(UpdateFunction a)]{
 
 An update function is a function computing a value from the given
 state.  This is a synonym of the type @racket[(-> (State a) a)].
 
 }
 
-@defpolytype[(Domain a)]{
+@deftypeform[(Domain a)]{
 
 A domain which is a subset of the type @racket[a].
 
@@ -55,7 +55,7 @@ A domain which is a subset of the type @racket[a].
 
 }
 
-@defpolytype[(DomainMapping a)]{
+@deftypeform[(DomainMapping a)]{
 
 A domain mapping is a hash table mapping variables to the lists of values in
 their domains.

scribblings/utils.scrbl

@@ -15,7 +15,7 @@
 @(define-syntax-rule (ex . args)
   (examples #:eval utils-evaluator . args))
 
-@(define-syntax-rule (defpolytype . args)
+@(define-syntax-rule (deftypeform . args)
   (defform #:kind "type" . args))
 
 @(define-syntax-rule (deftype . args)
@@ -37,7 +37,7 @@ Any Racket symbol.  Designates a variable in a discrete dynamical network.
 
 }
 
-@defpolytype[(VariableMapping A)]{
+@deftypeform[(VariableMapping A)]{
 
 An immutable mapping (a hash table) assigning elements of type @racket[A] to
 the variables.