added 'math' module with sqrt() and type checking predicate '::'