@wip Implement new DSL comprehension style
@wip Completed spike of transposition