     !!(@_declaration name)
 
   isTyped: (name) ->
-    !!(@_declaration name).type
+    !!(@_declaration name)?.type
 
   _declaration: (name) ->
     @_declarationInScope @scopes.length - 1, name

  visitExpressions ast, (expression) ->
    expressions.push "#{collapse toHtml expression} :: #{highlightType expression.tea}" if expression.tea
  types: values mapMap (__ highlightType, _type), subtractMaps ctx._scope(), builtInDefinitions()
  subs: mapSub highlightType, ctx.substitution
  ast: expressions
  deferred: ctx.deferredBindings()


  "Finished"
# end of tests



exports.compileTopLevel = compileTopLevel
exports.compileExpression = compileExpression
exports.astizeList = astizeList
