rename sequence.contains -> sequence.hasElem
support @type annotations in documentation
added #language docs