Kappa - Statically typed Compiled Programming Language