Cleanup in subseqs as fintype
Removed unecessary *_finType