types

xxp → predict if var is xx type

type-of → symbol of type

syntax

routines