separators added to hmac source
nested caseofs refactored
unused variables removed; more debugging info added
executor module removed