* Fixed the bug in promotion function from Int to SNat.
* Added example for monomorphic interface.
added another examples