various compile-time checking improvements, colors
added run-by-desc