finished mod l val part of the check, need to check for return types