Fix/type seqliteral

Fixed typing of SeqLiterals. Review by @DarkDimius