moved type checking routines to nlprise