removed not needed STypes.ANY type
refactored STypes
refactored SType
added .lang.Converter.*
added Empty.typeToConverterMap()
added Conversions
removed SType.superTypes(), replaced usages with Conversions.superTypeOf()
removed SType.isAssignableFrom(), replaced usages with Conversion.canAssign()
name cleanup in Conversions