merging input succeeds
split input supported
towards more abstract types
bugfix
generalizing
bugfix
fixing generic stuff
fixing generic stuff
uniform type parameter order
skeleton Input-ForwardBackward algo
correct typing