Ready to merge: get rid of dangerous "TypeError = not constant" mechanism

As well as the travis tests passing, all tests pass on ceylon.