better naming conventions for parameters that follow other dasein patterns

Closes #20