implemented return type check for native methods
implemented arg check of native methods - 1st arg
sanoty checking for native methods complete