Onion - statically typed object-oriented programming language