Change sort representation to class

- changed sort representation from String to class
- modified API's accordingly
- replaced string literals with constants
- cleaned up a lot of mess 
maybe have org.kframework.kil.Sort#toBackend and org.kframework.backend.java.kil.Sort#toFrontend?