Added consumption of type-markers when checking encoding types. Started to use list-extensions instead of concatenations. Added a simple test case.