Added constraints for nonrecursive calls and type equivalent calls
Updated documentation (issue #1)