added 'math' module with sqrt() and type checking predicate '::'
added general TraversableOnce evaluation in for loops and 'in' predicate