Check map formals using sem_check
Tweak to error message text
Remove redundant code from sem_check_map
Tweaks to allow checking of output conversion
Checking for output conversion in port maps
Tweak to run_vests.rb output
Fix conversion functions for inout ports