Function Infer-Types

Part of:

package cl-perec
( infer-types < query > )
Annotates types to the SYNTAX nodes of the query.