Make type-aligned sequences polykinded

[treeowl]

There's no sense in requiring the type indices to be of kind *. Adding {-# LANGUAGE PolyKinds #-} to appropriate places will fix this. I can try to open a pull request later.

[atzeus]

If you have the time, please make a pull request :)