Hancoc - Smart Contracts Made Simple